ring homomorphism

环同态